Search results for "Closed set"
showing 10 items of 10 documents
On Słowikowski, Raíkov and De Wilde Closed Graph Theorems
1986
Publisher Summary This chapter focuses on the Slowikowski, Raikov and De Wilde closed graph theorems. The vector spaces used in the chapter, are defined over the field Ղ of real or complex numbers. The term, “space” means separated topological vector space, unless the contrary is specifically stated. If Ω is a non-empty open subset of the n -dimensional euclidean space, then the Schwartz space ҟ′(Ω) endowed with the strong topology belongs to this class. The chapter also studies the classes of spaces related with this conjecture. The class of Slowikowski spaces contains the F-spaces and it is stable with respect to the operations that include: countable topological direct sums, closed subsp…
Weakly controlled Moran constructions and iterated functions systems in metric spaces
2011
We study the Hausdorff measures of limit sets of weakly controlled Moran constructions in metric spaces. The separation of the construction pieces is closely related to the Hausdorff measure of the corresponding limit set. In particular, we investigate different separation conditions for semiconformal iterated function systems. Our work generalizes well known results on self-similar sets in metric spaces as well as results on controlled Moran constructions in Euclidean spaces.
Spatial reasoning withRCC8and connectedness constraints in Euclidean spaces
2014
The language RCC 8 is a widely-studied formalism for describing topological arrangements of spatial regions. The variables of this language range over the collection of non-empty, regular closed sets of n-dimensional Euclidean space, here denoted RC + ( R n ) , and its non-logical primitives allow us to specify how the interiors, exteriors and boundaries of these sets intersect. The key question is the satisfiability problem: given a finite set of atomic RCC 8 -constraints in m variables, determine whether there exists an m-tuple of elements of RC + ( R n ) satisfying them. These problems are known to coincide for all n � 1 , so that RCC 8 -satisfiability is independent of dimension. This c…
Topological Space
2020
We introduce some formal definition of Topological Space in the the framework of the so-called classical mathematics.
Differential properties of the Moreau envelope
2014
International audience; In a vector space endowed with a uniformly Gâteaux differentiable norm, it is proved that the Moreau envelope enjoys many remarkable differential properties and that its subdifferential can be completely described through a certain approximate proximal mapping. This description shows in particular that the Moreau envelope is essentially directionally smooth. New differential properties are derived for the distance function associated with a closed set. Moreover, the analysis, when applied to the investigation of the convexity of Tchebyshev sets, allows us to recover several known results in the literature and to provide some new ones.
Semmes surfaces and intrinsic Lipschitz graphs in the Heisenberg group
2018
A Semmes surface in the Heisenberg group is a closed set $S$ that is upper Ahlfors-regular with codimension one and satisfies the following condition, referred to as Condition B. Every ball $B(x,r)$ with $x \in S$ and $0 < r < \operatorname{diam} S$ contains two balls with radii comparable to $r$ which are contained in different connected components of the complement of $S$. Analogous sets in Euclidean spaces were introduced by Semmes in the late $80$'s. We prove that Semmes surfaces in the Heisenberg group are lower Ahlfors-regular with codimension one and have big pieces of intrinsic Lipschitz graphs. In particular, our result applies to the boundary of chord-arc domains and of redu…
Topological Logics with Connectedness over Euclidean Spaces
2013
We consider the quantifier-free languages, Bc and Bc °, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of R n ( n ≥ 2) and, additionally, over the regular closed semilinear sets of R n . The resulting logics are examples of formalisms that have recently been proposed in the Artificial Intelligence literature under the rubric Qualitative Spatial Reasoning. We prove that the satisfiability problem for Bc is undecidable over the regular closed semilinear sets in all dimensions greater than 1,…
Stochastic labelling of biological images
1998
Many hypotheses made by experimental researchers can be formulated as a stochastic labelling of a given image. Some stochastic labelling methods for random closed sets are proposed in this paper. Molchanov (I. Molchanov, 1984, Theor. Probability and Math. Statist.29, 113–119) provided the probabilistic background for this problem. However, there is a lack of specific labelling models. Ayala and Simo (G. Ayala and A. Simo, 1995, Advances in Applied Probability27, 293–305) proposed a method in which, given the whole set of connected components, every component is classified in a certain phase or category in a completely random way. Alternative methods are necessary in case the random labellin…
Singular solutions to p-Laplacian type equations
1999
We construct singular solutions to equations $div\mathcal{A}(x,\nabla u) = 0,$ similar to the p-Laplacian, that tend to ∞ on a given closed set of p-capacity zero. Moreover, we show that every Gδ-set of vanishing p-capacity is the infinity set of some A-superharmonic function.
The validity of the “liminf” formula and a characterization of Asplund spaces
2014
Abstract We show that for a given bornology β on a Banach space X the following “ lim inf ” formula lim inf x ′ ⟶ C x T β ( C ; x ′ ) ⊂ T c ( C ; x ) holds true for every closed set C ⊂ X and any x ∈ C , provided that the space X × X is ∂ β -trusted. Here T β ( C ; x ) and T c ( C ; x ) denote the β-tangent cone and the Clarke tangent cone to C at x. The trustworthiness includes spaces with an equivalent β-differentiable norm or more generally with a Lipschitz β-differentiable bump function. As a consequence, we show that for the Frechet bornology, this “ lim inf ” formula characterizes in fact the Asplund property of X. We use our results to obtain new characterizations of T β -pseudoconve…